$y$ = $f$+($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\neg$($x$ = $y$)) \& $y$ is $f$$\ast$($x$)